VDM '90. VDM and Z - Formal Met...
Paperback
Published 04 Apr 1990
Save $4.37
- RRP $61.51
- $57.14
Search for "C A R Hoare"
21 results
-
$4.37off
-
$15.24off
Control Flow and Data Flow: Con...
Paperback
Published 01 Dec 1986Save $15.24
- RRP $123.03
- $107.79
-
$16.58off
Programming and Mathematical Me...
Paperback
Published 21 Dec 2011Save $16.58
- RRP $123.03
- $106.45
-
The Mathematics of Programming
Paperback
Published 11 Sep 1986 -
A Classical Mind
Paperback
Published 01 Jan 1994 -
Mechanized Reasoning and Hardwa...
Hardback
Published 01 Jul 1992 -
VDM '90
Paperback
-
Developments in Concurrency and...
Book
Published 31 Dec 1990 -
Communicating Sequential Proces...
Book
Published 01 Apr 1985 -
Structured Programming
Paperback
Published 01 Jan 1972 -
Essays in Computing Science
Book
Published 01 Nov 1988 -
Operating Systems Techniques
Book
Published 29 Dec 1972 -
Engineering Theories of Softwar...
Book
Published 01 Jan 2001 -
Software System Reliability and...
Hardback
Published 01 Jan 2007 -
Mathematical Logic and Programm...
Book
Published 01 Nov 1984 -
Structured Programming
Book
Published 09 Oct 1972 -
Scientific Applications of Mult...
Book
Published 01 Nov 1988 -
Communicating Sequential Proces...
Paperback
Published 01 Feb 1986 -
Computer Science
-
Control Flow and Data Flow: Con...
Hardback | German
Published 01 Jul 1985 -
Logic of Programming and Calcul...
Hardback | German
Published 14 Sep 1987